Did we prove the orthonormality of characters? meaning are you sure we can use them, it would make proof 13 much shorter...
Carl (talk) 14:30, 17 June 2015 (CEST)