banc>

Theorem.

Arguments:

(pr), (pr),

Assertions:

(()(()))

Proof:

Hyp	Ref	Line	Expr
	anc>	1	(()(()))
	siman<	2	(())
2	syl<	3	((())())
1, 3	>bii	4	(()(()))