てか見逃しただけかもしれんがこれ証明中に方程式の解がいくつか、とか使ってる?