Formal theorem

Summary