Relating operations of multiplication and division. Fact families.