Epp page149_example3.3.5b
hughmcguire
Proof of the following formula:
5|10km
(#)
Theorem and subgoals
We start working with the formula being proved
as follows:
(1)
5
|
10km
≡ by simplifying
(2)
true
That concludes the proof.
identification:
1206631751035
1206631751030
5