Se puede probar que la derivada exterior de esta forma es simpléctica observando que el ser simpléctico es una propiedad local: puesto que el fibrado cotangente es localmente trivial, esta definición necesita solamente ser comprobada en R × R.