Definition of Procheyn Heire