problem([]==>t:u(1)=>last(nil)=nil in t list,
simplify then repeat intro,lambda(t,axiom),
[
]).
