ParentFull threadpfdietz·Oh the proof can be understood quite well: it is understood to be wrong.View on HN