theorem :: XPRIMES2:2524

canceled;