theorem :: XPRIMES2:901

canceled;