Bevis för inferens iykyk