4anass

Theorem.

Arguments:

(pr), (pr), (pr), (pr),

Assertions:

((()())(()()))

Proof:

Hyp	Ref	Line	Expr
	an12ass	1	((())(()))
1	bi.bldan>	2	(((()))((())))
	anass	3	((()())((())))
	anass	4	((()())((())))
2, 3, 4	<2bitr	5	((()())(()()))