theorem :: XPRIMES2:6660

canceled;