Zde se po tobě bude chtít vytvořit obměněnou implikaci původního výroku a tu poté dokázat. Po vytvoření obměněné implikace už budeš postupovat stejně jako u přímého důkazu.
Nejdříve prohodíš oba výroky v implikaci a zároveň je zneguješ.
Obměněná implikace bude mít tvar: Je-li n dělitelné 3, pak n2 + 2 není dělitelné 3.
Obecný zápis čísla dělitelného 3: