theorem :: XPRIMES2:5328

canceled;