theorem :: XPRIMES2:1150

canceled;