theorem :: QUATERNI:3

canceled;