theorem :: XPRIMES2:9678

canceled;