EJ$12$

X$1...,$ X$$ N$($Hx$,$ o$)$ Y$1,...,$ Ymbe $$ Nuy, o$)$ Xi $$ ux$$ Hy$$ o$$ o$1=$ o$/$OK $($a$)$ Ho : $1=$ to $$ H : $1$ # to $!=($X; $-)?/"($Y$,-$ Y$)2($b$)($a$)..1-$ a$)$