theorem :: XPRIMES2:5490

canceled;