theorem :: XPRIMES0:61

canceled;