Un'ipotesi di ricerca sull'origine delle formule che si risolvono nella demonstratio e nella clausola 'quidquid ... oportet ... condemnato'