qed 
ee 
as 
- — 
