theorem :: XPRIMES2:2527

canceled;