6.22.1 Bloch waves