ફીલ્ડ આર સકર્મક છે: જો સી ≤ d, ડી ≤ એફ, પછી C ≤ એફ આર કોઈપણ C, D માટે, એફ