theorem :: XPRIMES2:6909

canceled;