theorem :: XPRIMES2:7132

canceled;