Contraposition comes from the words contradict and position meaning opposite position so then you can say if ab is odd then both a and b are odd because the statement "at least one of a and b is even" means either a or b is even or both a and b are even.