あ〜、こうか。
if(x=!y)
{
while(√ｘ＝＝√ｙ）
{
√ｘの小数点以下を求める処理
√ｙの小数点以下を求める処理
}
}

というわけで>>447は取消ということで。
しかし、コンピューターで証明というのは無理だと思うね。おれは。