算数だって群論の域を出ないが