anidm

Theorem.

Arguments:

(pr),

Assertions:

(())

Proof:

Hyp	Ref	Line	Expr
	siman<	1	(())
	id	2	()
2	jca	3	(())
1, 3	>bii	4	(())