Added proof of no-cloning theorem.