谁知道1×2×3×4×5×6×7×8×9的简便算法?