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