Bloch's Theorem via Representation Theory · HackerTrans