>>32
証明の論理を追うくらいはします