Lemma in$-$ap$1$:

$(=>(^($tlp x$)($tlp y$))$

$(==($in a $($ap x y$))$

$($v $($in a x$)($in a y$))))$

Proof by: Induction on $($in a x$)$