That's decidedly unfun and headhurty for those of us less mathemstically inclined. Also so deep into the theoretical weeds that I'm not sure that "fact" applies..
And this folks is why you don’t hire “math teachers” because he was a successful football coach. It took him way too long to realize this is why we don’t divide by zero, (more than a week, actually.)