1 : 0« pr X ),