theorem :: XPRIMES2:6225

canceled;