...atharraichidh an caochladair y dìreach no neo-dhìreach an cois a' chaochladair x . 'S e sin ri ràdh gu bheil y agus x ann an co-mheas cunbhalach, k, ma tha an t-atharrachadh dìreach eatarra, no gu bheil toradh y agus x cunbhalach, k, ma tha an t-atharrachadh neo-dhìreach eatarra. Canar cunbhal atharrachaidh ri cunbhal mar k ann an co-aontar den t-seòrsa seo.