theorem :: XPRIMES2:4748

canceled;