Point-line-plane postulate