theorem :: XPRIMES2:2937

canceled;