Stimmt es, dass, wenn bei einer Proportionalität

Da es grundsätzlich zwei Arten von Proportionalität (die "direkte" und die "indirekte bzw. umgekehrte") gibt, ist die Aussage in Deiner Frage nur dann korrekt, wenn man mit "Proportionalität" - wie üblich - die direkte Proportionalität meint. Mathematisch heißt das: y/x = konstant.