function changeform(this){
if(this == "formula"){
document.getElementById("formula").style.display = "block";
document.getElementById("proof").style.display = "none";
}
else if(this == "proof"){
document.getElementById("proof").style.display = "block";
document.getElementById("formula").style.display = "none";
}

}