im-true

Theorem.

Arguments:

(pr), (pr),

Assertions:

((()))

Proof:

Hyp	Ref	Line	Expr
	ax1	1	(())
1	ax1	2	((()))
	mpclosed	3	((()))
2, 3	>bid	4	((()))