Keypoint-Guided Optimal Transport with Applications in Heterogeneous Domain Adaptation A Mathematical Deductions