theorem :: XPRIMES2:6272

canceled;