s. # 20.
qed