Epp page146_example3.3.2
hughmcguire
Proof of the following formula:
k|0
(#)
Theorem and subgoals
We start working with the formula being proved
as follows:
(1)
k
|
0
≡ by simplifying
(2)
true
That concludes the proof.
identification:
1206630933029
1206630933028
1