I understand. My proof is bad ��