finished proof of simple-test