bugün

mantıkla bir ispatlama metodu.