>>480
そもそも、a=5、b=5 が「等式を満たす整数a,bとして存在する」から
証明しようがない命題だと思うけど。