prove equilalence