Әрқашанда мен -ның біреуі тек қана біреуі орындалады деп ұйғарамыз, сондықтан үшін болады, яғни . теоремасын былай да айтады: -ның орындалуы үшін -ның орындалуы жеткілікті. -ның орындалуы үшін -ның орындалуы қажетті. болса, онда -ның орындалуы үшін -ның орындалуы қажетті және жеткілікті.
мен 
-ның біреуі тек қана біреуі 
үшін 
болады, яғни 
. 
теоремасын былай да айтады: 
-ның орындалуы үшін 
болса, онда