theorem :: XPRIMES0:1361

canceled;