theorem :: QUATERNI:1

canceled;