if a|b and b|a, then a=b

Printable View