ParentFull threadmarkisus·I think so. But there are much shorter and more rigorous proofs in textbooks.View on HN