theorem :: XPRIMES0:1087

canceled;