theorem :: XPRIMES2:2532

canceled;