全く関係ないけど
1=1を証明できる?