若等式x=y可以变形为[x/a=ya],则有(  )