Theorem: e^{2 pi i (tau+1)} - e^{2 pi i tau} = 0 (modular T-invariance)

Theorem (modular-T-invariance canonical): e^{2 pi i (tau+1)} = e^{2 pi i tau} * e^{2 pi i} = e^{2 pi i tau} * 1 = e^{2 pi i tau}, hence e^{2 pi i (tau+1)} - e^{2 pi i tau} = 0 identically. Canonical sympy pins: tau = sp.Symbol('tau'); q1 =…