Mathematical theorem used to crack US Government encryption algorithm

A slightly less hyped headline would be:

"Mathematical theorem used to crack US government _candidate_ encryption algorithm"