thus L `2 is finite ; :: thesis: verum