theorem :: XPRIMES2:496

canceled;