theorem :: QUATERNI:4

canceled;