and ln(x)=x-1 would be a corollary of e^x=x+1
Jokes Time
eight : Hey, do you want to see my new friend?
three and two : Sure!
two : Where is he?
eight : He's right here.
eight : Why can't anyone else see you?
sqrt(-1) : Beat's me.

the fundamental theorem of engineering is a joke created by Jens Fehlau, who has a youtube channel: Flammable Maths
Jens is a legend. Is he a household name yet?
probably if there is another part, it would be e^x=1+x