theorem :: XPRIMES2:2945

canceled;