theorem :: XPRIMES2:2741

canceled;