favero-assioma (88)