Hacker News new | ask | show | jobs
by xacaxulu 3945 days ago
A proposition that is logically derived from one already proved, usually immediately before.