ancom

Theorem.

Arguments:

(pr), (pr),

Assertions:

(()())

Proof:

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