File:Interactive_proof_(complexity).svg loading ...