❏
証明の形式：
定理
主張
Proof.
主張
...
...
❏
主張
...
...
❏
...
...
❏