The demonstration leading to the impossible goes thus: if we should have to prove that A does not belong to, we must assume that it does belong and that belongs to, so that it results that A belongs to.