theorem :: XPRIMES2:76

canceled;