theorem :: XPRIMES2:1047

canceled;