証明可能公式
【しょうめいかのうこうしき】
【syoumeikanoukoushiki】
可证公式