I det første steget i case 1, går implikasjonen bare nedover ja, ellers er det bare ekvivalenser.