>>631
見えてる証明も見えてない証明もできないってわけか