Appendix B. Proofs that the sum-of-squares reduction never falls into an infinite cycle. MiklósI. PodaniJ. 2016 Proofs that the sum-of-squares reduction never falls into an infinite cycle.