加拿大28组合算法公式的数学验证