>>231
完全加法族の定義まで戻れば?