theorem :: XPRIMES2:7490

canceled;