"İki tek sayının çarpımı tektir" önermesini ispatlamak için a=2k+1 ve b=2m+1 alınıp ab=(2k+1)(2m+1)=4km+2k+2m+1=2(2km+k+m)+1 şeklinde gösteriliyor. Bu hangi ispat yöntemidir?