で、頭数理論で割るの忘れてるよね?