theorem :: QUATERNI:2

canceled;