So let me interpret this theorem for you as usual, so what this means is that essentially since E is a secure PRP this quantity here is negligible, and our goal is to say that adversary A's advantage is also negligible. 