theorem :: XPRIMES2:2507

canceled;