theorem :: XPRIMES2:5492

canceled;