Triginta septem demonstrationes. Colloquii inter illum et Johannes Botsaccus