qed-trivial

qed-trivial