Awarepath/ ixpepath mapping postulate
From Aware Theory
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