A\equiv B