模数公式的推导过