# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00069349:0096
# Permalink to this reading: https://leibnizlegible.com/page/00069349:0096?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 5, 10
# Folio 48v, page id 00069349:0096
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00069349&page=96
# Source image: https://digitale-sammlungen.gwlb.de/content/00069349/jpgs/default/00000096.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 38 lines, status machine
# Lines: 38 recognised, mean confidence 0.86
# Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German.
# Licence: CC BY 4.0, Leibniz Legible. Machine output: do not ingest it as verified text; keep this provenance with the text.
# Wording rule: say "the machine reads it as …", never "Leibniz wrote".
# After the first blank line: the recognised lines in reading order, one per line.

sif + d - b
ducenda in + f = C
a
=cad. O
+df- bf
propositio F2.
generaliter
Ajocesse  a aequ. + bc.
Demonstratio:
Ponatur d aequ: e + X. posito b aequ. X. et  e existente
excessu ipsius d supra X seu supra b. ergo d - b idem erit
quod , vel idem quod + C + X - b, vel idem quod e) Ergo
d- b in f- C idem erit quod e in f c. seu idem
erit quod ef - ec. rursus d. b in f. C idem erit quod
+ C + X b in 4 f-C Eyam erit:
ef eC vau. Ydf - cd - 67.
seu s et ec idem erit quo
sa
Jam
e in f -c est ef - ce. et X - b in f - C. (Posito scil. hic X aequ. b)
sb aequ FX = cX  - b f + bc per prOp. 1.
Ergo colligendo e+ X - b in f-c. Aud seu d - b in f- C erit.
ef - ce, + fX - C X - bf + bc: At supra d - b in f -c
erat aequ. dF = cd - bf O. Ergo hos duos valores
aequando fiet: et
C
aequando fict et tollendo utrobique = bf.
equdf
SAbC
fiet.
ef- ce + fx - Cx + bc aequ. df - cd. O
Est autem ef + f X aequ. df. et - cC = CX aequ = cd. quia daequ. etx
Ergo ef- ce + fX = CX aequ. df - cd. Ergo in aequatione prion
tollantur
ef - ce + fX - Cx + bc aequ. df - cd. O. sublati
utrinque aequalibua restabit  O aequ. + bc.
l
Quod erat demonstrandum.