thus X --> r is PartFunc of , ; :: thesis: verum