>>50
yが任意の自然数の時
整数の可能性が確保されている部分を分離して見通しを良くしている