an-false<

Theorem.

Arguments:

(pr), (pr),

Assertions:

((()))

Proof:

Hyp	Ref	Line	Expr
	<neg	1	((()))
	siman>	2	(())
2	ax1	3	((()))
1, 3	>bid	4	((()))