let mathd-numbertheory-81 = `71 MOD 3 = 2`;;