eqt<>

Theorem.

Arguments:

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

Assertions:

((()())(()()))

Proof:

Hyp	Ref	Line	Expr
	eqt<	1	(()(()()))
1	siman<	2	((()())(()()))
	eqt>	3	(()(()()))
3	siman>	4	((()())(()()))
2, 4	bitrd	5	((()())(()()))