theorem :: XPRIMES2:9004

canceled;