Известно что из этого следует что