s-m-n theorem

  1. REDIRECT Smn theorem