分散を、あの式で表す必然性