theorem :: XPRIMES0:53

canceled;