Bir matematikçi tümevarım yöntemiyle ispat yaparken "n=k için doğru olduğunu kabul edelim" dedikten sonra neyi göstermelidir?