theorem :: XPRIMES2:8732

canceled;