Как непосредственное следствие определений (5.6) и (5.7), докажем теорему 5, иллюстрируя таким образом пользу квазилинейных представлений.