🔺 Byrne's Euclid — prove it in order

Three propositions in Oliver Byrne's colours. Each step only locks once what it needs is proved.