בהוכחות איך רושמים נימוק על שינוי משוואה?

נגיד שיניתי משוואה מ x=y/z ל y=zx. איזה נימוק רושמים על זה?