The coisotropic embedding theorem for pre-symplectic manifolds: an alternative proof | Synapse