theorem :: XPRIMES2:1936

canceled;