This was a trick question (the answer is Euclid simply states that all right angles are congruent as a postulate). Instead ChatGPT dreams up a spoof "proof" which uses this postulate. Fascinating, is this pure pattern recognition or do they have reasoning engines in there?