>>105
どのレベルで証明すればいいの?