Польза от квазилинейного представления собственных значений в теореме 8, в отличие от представления в теореме 6, отчетливо проявляется при доказательстве теоремы 9.