theorem :: XPRIMES2:2504

canceled;