theorem :: XPRIMES2:5388

canceled;