Proof In Vdm by J.C. Bicarregui