theorem :: XPRIMES0:523

canceled;