ParentFull threadmalfmalf·495 BC. And his Theorem is still good enough for most practical purposes, so his point standsView on HN