theorem :: XPRIMES2:2738

canceled;