theorem :: XPRIMES2:2925

canceled;