Browsing: multiplication property of equality