Inverse operations, dividend, divisor, quotient, related facts, fact family