theorem :: XPRIMES2:5661

canceled;