theorem statement

Printable View