<anabs<

Theorem.

Arguments:

(pr), (pr),

Assertions:

((())())

Proof:

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