Putuskan kedua identitas pada latihan Latihan 7. Jika suatu kesamaan gagal, nyatakan dan buktikan inklusi yang selalu benar serta berikan contoh tandingan terkecil yang jelas.