theorem :: IRRAT_1:41

number_e is irrational