Donner un nom à et , utiliser le lemme les définissant et en déduire des informations sur ou .