ごめん
>>34 で言っていた「自明なもの」は a=n, b=n!-1! (n≧2) のことでした
x,y≦100000 を全探索した結果, その解以外で 6!7! = 10! しか無かったということです