ceqi

Theorem.

Arguments:

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

Distinct variable conditions:

(, ), (, ),

Hypotheses:

(()())

Assertions:

()

Proof:

Hyp	Ref	Line	Expr
	Hypo	1	(()())
1	ax-gen	2	(()())
2	df-equ	3	()