It is an application of the general truth that if a statement is true, then so is its contra-positive.
Ini adalah sebuah penerapan dari kebenaran umum bahwa jika sebuah pernyataan adalah benar, maka kontra positif-nya juga benar.