Даже в этом случае это не прямое док-во, это верно. (-)

---