>>572は群大の過去問で、他に解が存在しないことを証明してほしいらしい。