theorem :: XPRIMES2:5246

canceled;