theorem :: XPRIMES2:2865

canceled;