>>416はちょっとまずくないのかな?
整数解をαとすると……とかってやらないと