Proof that ''e'' is irrational