Revised proof of main thm for Bool