theorem :: XPRIMES1:1570

canceled;