theorem [noun] + proving [verb]