theorem :: XPRIMES2:7584

canceled;