anidms

Theorem.

Arguments:

(pr), (pr),

Hypotheses:

(())

Assertions:

()

Proof:

Hyp	Ref	Line	Expr
	Hypo	1	(())
	anidm	2	(())
2	bi<	3	(())
1, 3	syl	4	()