ceqd

Theorem.

Arguments:

(sv), (coll), (coll), (pr),

Distinct variable conditions:

(, ), (, ), (, ),

Hypotheses:

((()()))

Assertions:

(())

Proof:

Hyp	Ref	Line	Expr
	Hypo	1	((()()))
1	imgen>i	2	((()()))
2	df-equ	3	(())