theorem :: XPRIMES2:9936

canceled;