stp.prove
=========

.. autofunction:: stp.prove