theorem :: XPRIMES2:5272

canceled;