theorem :: XPRIMES2:5251

canceled;