theorem :: E_TRANS2:42

number_e is transcendental