સરળ પર સરળતાથી પ્રોવેબલ થીસીસ રિવર્સ  ઐતિહાસિક ઉદાહરણો.