ペアプルービング

ペアプルービング

二人で一つの定理の証明を行う証明技法。