Si

- Proy
b
(axc)//b
- Proy
c
(axb)//c

Sabemos uqe
(axc)//b
a
c
b