added trivial correctness proofs for naive versions
Merge branch 'master' of github.com:robert-schmidtke/dtp