Hacker News new | ask | show | jobs
by eru 31 days ago
These assumptions are sufficient to make the statement a proven theorem.

They are not necessary to work in practice.