theorem :: XPRIMES2:1524

canceled;