atfed(K,Mi,Mit):-
	sub_atom(Mi, _, K, 0, Tmp1),
	sub_atom(Mit, 0, K, _, Tmp2),
	Tmp1 = Tmp2.

ellenoriz(_,_,[]).
ellenoriz(K,Elem,[Lista|Listatail],T) :-
	ellenoriz(K,Elem,Listatail),
	atfed(K,Elem,Lista) -> append(Elem,Lista,T).