an12ass

Theorem.

Arguments:

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

Assertions:

((())(()))

Proof:

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