この応答に到達するには、命題を尊重するまで乱数で試してみる必要がありますか、それともより正式な方法を適用することができますか？
Per arrivare a questa risposta bisogna tentare numeri a caso finché uno non rispetta la proposizione o è possibile applicare un metodo più formale?