cqfd

  1. redirect Q.E.D.