diyagonal çift

bütün x'ler işlev F'ye bırakılır =işlev F' den hariç hariç tutulabilecek hiç bir x yoktur

F işlevinden hariç kalan(en az) bir x vardır..