theorem :: UPROOTS:5

canceled;