eqt<

Theorem.

Arguments:

(st), (st), (coll),

Assertions:

(()(()()))

Proof:

Hyp	Ref	Line	Expr
	ax-el<	1	(()(()()))
	ax-el<	2	(()(()()))
2	eqcomi	3	(()(()()))
1, 3	>bid	4	(()(()()))