Proves that kernel and many-one reductions are different.