theorem :: XPRIMES2:7754

canceled;