theorem :: XPRIMES2:2866

canceled;