an-true<

Theorem.

Arguments:

(pr), (pr),

Assertions:

((()))

Proof:

Hyp	Ref	Line	Expr
	banc<	1	(()(()))
1	im.bidi	2	((()))