theorem :: XPRIMES2:9768

canceled;