miércoles, junio 16

A = B
B = C
A = C

P y Q
entonces
R.