Let a and b are both constants symbols. Let P be a unary predicate symbol, Q be

a binary predicate symbol and R be a ternary predicate symbol.

$($a$)$ Show that $$y$($Qay $->$ Ryyy$)|=$x$$z$($Qxz $$ Rzxz$)$