Demonstrația inferenței iykyk