micromass,
Than you again for your reply, and sorry for my delayed response.
I understood your point that I must prove everything rigorously from the axioms and only the axioms - and I agree.
With that said, I have gave it some thought, and I am not sure how to proceed with proving:
If...