theorem :: XPRIMES2:6906

canceled;