Informasi yang berkaitan dengan ja/構成的証明