>>675 の前半と >>677 は真理表で恒真であることを示し、その後に
よって Stone の表現定理より証明できると書いておけば ok?