Proof theory for minimal quantum logic: A remark

It is remarked that the inference rule (‘ → ’) is superfluous for the sequential system GMQL introduced by H. Nishimura for the minimal quantum logic.