Theoretical methods to calculate these checking codes