favero-assioma (92)