Re: Axiomatic Proof Help

Hello,

Thankyou very much for your time and help. You did the hard part
leaving me only to constuct a substitution instance of theorem 1 which
was straight foward. It was very informative to see your method of
solving the problem also, rather than just have the proof simply
exemplified. Thanks again, Mitch.

.