The document below is written by Dana Ernst, adapted from a book of Anders Hendrickson.
(Ignore point #2. Referencing "Theorem 2.13" is perfectly fine.)