La soluzione proposta segue uno sviluppo preso da un altro testo, il Liu. È un test interessante in quanto è una condizione non solo sufficiente, ma anche necessaria. Il test sull'utilizzazione (normale o iperbolico, che vi ho indicato sul Buttazzo, sono condizioni solo sufficienti.