proof of transitivity!