theorem :: XPRIMES0:1531

canceled;