>>4
これ一択でしょ
厳密な証明を書くって難しいからね