Inverse of Many-to-One Relation is One-to-Many

Theorem
The inverse of a many-to-one relation is a one-to-many relation, and vice versa.