Home Online Mathematical Communication Sebastian Pokutta's Blog indirect proofs: contrapositives vs. proofs by contradiction