Let T ^ ^ n 1 , n 2 , n 3 denote a translation operator that shifts every wave function by the amount n 1 a 1 + n 2 a 2 + n 3 a 3 (as above, n j are integers). The following fact is helpful for the proof of Bloch's theorem: