Normalization proof for STL finished