theorem :: XPRIMES2:5128

canceled;