theorem :: UPROOTS:4

canceled;