The end of the proof may be signalled by the letters Q.E.D. (quod erat demonstrandum) or by one of the tombstone marks "□" or "∎" meaning "End of Proof", introduced by Paul Halmos following their usage in magazine articles.
Corollaries to a theorem are either presented between the theorem and the proof, or directly after the proof.