theorem :: XPRIMES1:928

canceled;