theorem :: XPRIMES2:5160

canceled;