Pertama, cek pernyataan satu saja, yaitu eks dikurang ye sama dengan dua. Ternyata banyak kombinasi bilangan positif yang selisihnya dua, misalnya eks sama dengan tiga dan ye sama dengan satu, atau eks sama dengan empat dan ye sama dengan dua. Karena nilai ye tidak tunggal, pernyataan satu saja tidak cukup.