mathematical theorem

  1. redirect theorem