De aquí resulta una serie de consecuencias rigurosamente exactas.