명제 A가 참이면 명제 B가 참인 것을 증명할 수 있고 명제 B가 참이면 명제 A가 참인 것을 증명할 수 있으면 A와 B는 동치인가요?