theorem :: XPRIMES2:2918

canceled;