>>472
証明しとるやん
また証明してやろうか?