Prova de inferência iykyk