çıkarım ispatı iykyk