theorem :: XPRIMES2:3924

canceled;