bv-distvar

Theorem.

Arguments:

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

Assertions:

( bound in ())

Proof:

Hyp	Ref	Line	Expr
	bv-idvar	1	( bound in ())
1	bv-¬	2	( bound in ())