State-independent proof of Kochen-Specker theorem with 13 rays.