mo-sb2con

Theorem.

Arguments:

(st), (st), (sv), (pr),

Distinct variable conditions:

(, ),

Assertions:

(([/][/])(()))

Proof:

Hyp	Ref	Line	Expr
	mo-sb2	1	((([/][/])()))
1	com12i	2	(([/][/])(()))
2	con	3	(([/][/])(()))