20歳男子の平均身長172cmという統計は高卒が除外されてる可能性が、ある。