Bevis for slutning iykyk