theorem :: QUATERNI:11

canceled;