אני אוהב להוכיח את זה ככה:
x^(y-z)=x^y/x^z אני חושב שיש כזה חוק, אבל ניתן גם לחשוב על זה שבגלל שמקטינים את המעריך בz, המספר החדש יהיה קטן פי x^z מהקודם.
אם y=z
x^(y-z)=x^(y-y)=x^0
x^y/x^z=x^y/x^y
ועבור x^y!=0->x!=0
x^y/x^y=1
ולכן x^0=x^(y-y)=x^y/x^y=1 ->x^0=1.
דרך אגב ניתן להשתמש בx^(y-z)=x^y/x^z ובx^0=1, כדי להוכיח ש: x^-y=1/x^y.