A t o n fn n n t n ^ a t- bewisas?