theorem :: XPRIMES1:5160

canceled;