これで簡単に証明できるよな