（証明） 計算には「Show"K"!!計算式」を使用するものとする。 あしざわ教頭が笑ってて、とーやま校長が笑わなかったら、あしざわ教頭が笑うのやめる確率は99%。 あしざわ教頭が笑ってなくても、とーやま校長が笑ってたら、あしざわ教頭が笑い出す確率99%。 よって、あしざわ教頭がとーやま校長の様子を伺いながら授業してる確率100%である。（終）