section_heading: Otkriće
paragraph_text: Carmody je Dirichletov teorem o prostim brojevima u aritmetičkoj progresiji primijenio na nekoliko mogućih prostih brojeva u obliku <math>\scriptstyle{k \cdot 256^n + b}</math>, gdje je k decimalno predstavljanje osnovne komprimirane datoteke. Kako format gzip datoteke ignorira sve znake iza prvog "nul" znaka, iza njega se u datoteku može staviti proizvoljan broj "nul" znakova, tako da se pri dearhiviranju dobije originalni C-kod DeCSS-a.