theorem :: XPRIMES2:7192

canceled;