Hlavním výsledkem práce je nutná a postačující podmínka pro existenci n-bitového Grayova kódu, který se vyhýbá zadanému párování v n-rozměrné hyperkrychli.