pm3.26im

Theorem.

Arguments:

(pr), (pr),

Assertions:

(())

Proof:

Hyp	Ref	Line	Expr
	<neg	1	(())
1	con<	2	(())