theorem :: XPRIMES2:4766

canceled;