theorem :: XPRIMES2:2924

canceled;