Example II.7.