. . . " purchaser from the proceeds of the sale is a payment pro tanto. If" .