revised proof of main theorem... still need to show property 2. property 1 is definitely correct but i need to add the actual number in there