theorem :: XPRIMES2:2936

canceled;