OpenBSD теорема.

Говорят, что это самый безопасный дистрибутив. Хотелось бы узнать, по каким критериям. Благодаря чему он является таковым? Кто докажет эту теорему. Или хотя бы даст пруфЪ линк на достойную статью, а не просто рекламу или срачь.