Comment by avidiax

If you like this sort of thing, there's a game where you can solve these kinds of proofs: https://www.euclidea.xyz/en/game/packs/Alpha