>>565
じゃあ記事で証明していることのステートメントはなんなの？
それをはっきり書いたら先頭は
∀箱の中身の割り当て
ではないの？それとも証明しようとしていることが何なのか本文からは不明ってこと？