logoalt Hacker News

teravoryesterday at 5:48 AM0 repliesview on HN

a short counterexample makes it likely the best medium for such an announcement. would have been inappropriate for a positive proof.