AがBならBはAとも言える、みたいな?