这是给数学写的(prod by Red killer)