Errors in Proof corrected for mt