But while it has been proved through the deduction that belongs to no, it has been assumed without proof that does not belong to, consequently it does not result through the deduction that does not belong to.