首先，结论与证明来自http://oeis.org/A005732/a005732.pdf，这里给出简单翻译和加工