theorem :: XPRIMES2:6066

canceled;