Evet kanıtlanabilir, sıkıntı çıkmaz sadece çizgini bozma.