>>8
3つめので全て証明できる気がするのですが・・・