in the library. straight up "proving it". and by "it". haha well. lets justr say. My theorems