spec-w

Theorem.

Arguments:

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

Distinct variable conditions:

(, ),

Assertions:

([/])

Proof:

Hyp	Ref	Line	Expr
	ax1	1	((()))
1	im.bldal	2	((()))
	dfsb-dval	3	((())[/])
2, 3	syl	4	([/])