(a
t
/b
y
f
r
)
u
= a
tu
/(b
yu
f
ru
)
return