theorem :: XPRIMES2:6206

canceled;