theorem :: QUATERNI:6

canceled;