>>735の「3で割った余り」のところを「mで割った余り」で置き換えても成立するようなmの条件は、
mがp≡1またはp≡3(mod 8)なる素因数pをもつことであると予想してみたがどうか