theorem :: XPRIMES2:2904

canceled;