theorem :: XPRIMES2:5201

canceled;