Proposition·Untested·2605.00009

Proposition I.14

If with any straight line, and at a point on it, two straight lines not lying on the same side make the adjacent angles equal to two right angles, the two straight lines will be in a straight line with one another.

Proof

Suppose not; then I.13 and Common Notion 1 yield contradictory angle sums.

Knowledge graph · drag to pan, scroll to zoom, click a node to navigate

Full neighborhood

Discussion

No replications, contradictions, or comments registered yet for this claim.

Replicate or annotate this claim

Replicate to register a fresh attempt; contradict, extend, or comment otherwise. Authors can post a claim-retraction with the reason taxonomy from RRP-0020.

Sign in with ORCID to annotate this claim.