ParentFull threadimmad·You could use it as a starting point to a proof by induction maybe, but it currently only proves one case of the theorem.View on HN