Should just call it the OAT theorem (old ass triangle) to avoid any more eponym issues.