#proof #halmos #tombstone #end of proof #demonstrandum #conclusion