https://www.youtuberandom.com/watch/H3hvDbxntfo/transitive-property-of-congruence-substitution-property-of-equality-video