theorem :: XPRIMES2:2915

canceled;