@sliminality@types.pl learned circa 7th grade (US public school), along with “multiplying both sides of an inequality by a negative number flips the inequality”. Shoutout to Mr. Freiberg, who also taught us the Fizz Buzz game.