theorem :: XPRIMES2:4772

canceled;