Does not Common Notion 3 (If equals are subtracted from equals the remainders are equal) solve Proposition 5 all on its own?
- Lines AB and AC are equal.
- The base angles ABC and ACB are equal.
- Extending lines AB and AC, and plotting points F and G gives us equal lines AF and AG.
Does it not follow that angles FBC and GCB are the remainders and therefore equal?