theorem :: XPRIMES2:6246

canceled;