an-true

Theorem.

Arguments:

(pr), (pr),

Assertions:

((()))

Proof:

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