theorem :: XPRIMES2:2960

canceled;