6
Remark
•
Somewhere in the proof we need to use +
and
£
, defined in terms of <
•
•
Where ?