theorem :: XPRIMES2:2505

canceled;