约瑟夫定理为什么是2的n次方