Template:Theorem


 * Theorem.