Число е, конечно, тривиально. По сути, число е специфицирует постулат, откуда следует доказываемое равенство.