Resonnementet är i korthet följande: