theorem :: XPRIMES2:2508

canceled;