摘要

给出了乘积■×■的捷算法及其严格证明.