theorem :: XPRIMES2:7780

canceled;