theorem :: XPRIMES0:71

canceled;