Below is a complete Hoare Proof for the factor program.

Using this as a guide, do the same or a similar proof of this theorem in JAPE.

Due: Monday 12 February, 2007

(Sorry for the screen images- only way I could get it large enough to read!)