$Prove