Use Axiomatics semantics to prove the following problem.

Prove Correctness: x> 0 while x = 10 }