普通に証明できる時点で何の違和感も浮かばないんだが・・・