conclusion of a theorem