theorem
  (<*>D)|i = <*>D;
