View source for Awarepath/ ixpepath mapping postulate

The  [[awarepath/ ixpepath mapping postulate]] states that the same [[awarepath]] will always have the same [[ixpepath]] but the same [[ixpepath]] does not have to have ([[itomap]] to) the same [[awarepath]].


[[Awarepath/ ixpepath mapping postulate]]  proof: is that an [[awarepath]] has only one [[ixpepath]] there will be a one to one [[itomapping]]