favero-assioma (111)