Prove that one added to twenty is nineteen.