Ambue hendáguio, umi prueba pytyvõha ombohape ojejesareko haguã opaite detalle ikatu'ỹva ojehecha peteĩ prueba ojehaíva ñande po rupivépe ha ome'ẽva peteĩ certeza de corrección de pruebas largas oikoháicha teorema de Feit-Thompson-pe.