<anabs>

Theorem.

Arguments:

(pr), (pr),

Assertions:

((())())

Proof:

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