''Eğer $n$ bir tek sayı ise, $n^2$ de bir tek sayıdır'' önermesinin karşıt tersi ile ispatında, aşağıdaki başlangıç adımlarından hangisi doğrudur?