Kevered az ervelest a bizonyitassal. Az ervben nincsenek hibak, ti. az erv arra valo, hogy a masikat meggyozzuk.