@dm312: If the proof