anabs>

Theorem.

Arguments:

(pr), (pr),

Assertions:

((())())

Proof:

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