ii (source code)

= ii
{scope}

The product hypothesis supplies surjectivity of the multiplication map.