  Taken together, D7 and D8 establish that the one is. For D7A2 shows that if the one is not, then the others are many. But D8A1 shows that if the one is not, then the others are not many. Thus D7 and D8 show that if the one is not, then the others have contradictory properties. Given that nothing can have contradictory properties, it follows directly that the one is. This reinforces the result previously established in section 6.7.