favero-assioma (93)