Description: Identity law for multiplication. See mulrid for commuted version. (Contributed by NM, 8-Oct-1999)