Supplementary solutions 4: added remark about the proof of the theorem. Removed a multiply defined label.