theorem :: XPRIMES2:7918

canceled;