Bae's Theorem comments on AI #75: Math is Easier