semplificazione dimostrazione m_A continua