thus implies that this statement follows.  Why does it follow?