theorem :: XPRIMES2:5924

canceled;