>>10996470Let M be a male. If M likes girls there exists female F such that M likes F. By the Tranner Theorem, there exists T such that T is equivalent to F in the sense of looks. Now consider the following construction:
Place M looking at F. He is aroused. Then, in an instant, replace F with T. M is still aroused. M has been aroused by a male. Therefore M is gay.
