Elem Fin Maths, and DIffusion verify the equivalent PDE