ما هي الخاصية التي تبرر العبارة: إذا كان فإن