User:Bmuperle/Theorem

 Theorem: