thus x `2 is place of PTN ; :: thesis: