4anass2

Theorem.

Arguments:

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

Assertions:

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

Proof:

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