However, the proof of the existence of this finite set is not constructive, and the forbidden minors are not actually specified.
Проте доказ існування цієї скінченної множини не є конструктивним, і заборонені мінори фактично не вказані.