>>160
証明について、何かコメントとかは無い?