theorem :: XPRIMES2:506

canceled;