Breve dimostrazione (1686) - Specimen Dynamicum (1695)