theorem :: XPRIMES2:4747

canceled;