2^56>5^24を証明してくれ