Iyakokin ayyuka (2 cikin 4)
Ga , y da ya fi sifili ya yi daidai muddin sakamakon bai kai ba; idan y sifili ne, dole ; idan y mai debe ne kuma, dole ƙarfin ya zama cikakkiyar lamba. Ga tushe na x, halaye ukun iri ɗaya ne: y da ya fi sifili, y daidai da sifili, da y mai debe da tushen da ba ya rabuwa da biyu, don sakamakon ya zama lamba ta gaske.