theorem :: UPROOTS:3

canceled;