Informasi yang berkaitan dengan vi/Formal proof