theorem :: QUATERNI:8

canceled;