theorem :: XPRIMES2:2961

canceled;