Embedding of Heyting Algebras by D.H.J. de Jongh