Ea gilt folgende Implikation für die natürlichen Zahlen a,b,c:

a|b und b|c —> a|c

lautet die gleichwertige Kontraposition dann so?
a teilt nicht c , dann gilt: a teilt nicht b und b teilt nicht c?