In practical terms, many properties cannot be proven because they occupy an unbounded solution space.
Στην πράξη πολλές ιδιότητες δε μπορούν να αποδειχτούν γιατί ανήκουν σε μη φραγμένο χώρο λύσεων.