theorem :: XPRIMES2:2696

canceled;