x=-1 を代入していい理由は?