theorem :: XPRIMES2:2931

canceled;