theorem :: XPRIMES2:4902

canceled;