" Y mientras que todas las otras cosas, si la bestia o el buque, que entran en la abismo terrible ( ballena ) la boca de este monstruo, se pierde de inmediato y por ingestión arriba, el mar se retira a pistón en una gran seguridad, y duerme allí. "
โปรแกรมแสดงตัวอย่างQED QED