proof by contraposition and contradiction