theorem :: XPRIMES2:910

canceled;