# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00066634:0096
# Permalink to this reading: https://leibnizlegible.com/page/00066634:0096?run=39
# Title: [De la Methode de l'Universalite] De la Méthode de l'Universalité (shelfmark LH IV, V, 10)
# Folio [48]v, page id 00066634:0096
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00066634&page=96
# Source image: https://digitale-sammlungen.gwlb.de/content/00066634/jpgs/default/00000096.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 39, 2026-08-27T09:55:26Z — 47 lines, status machine
# Lines: 47 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 -
-cd.
+df - bf
Ponatur d aequ:
generaliter
jolesse  F aequ. + bc.
Demonstratio:
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 g e in f c. seu idem
erit quod Cf = ec. rursus d b in f- C idem erit quod
t e + X b in 4 f -E Ergumenis
ef eC aqu. +df - cd - b
seu  ef ec idem erit quo
e + X b
C
C
Jam
e + X - b in f - C, ideni erit quod  in f- c.
in f -c est ef - ce. et X - b in f - C. sPosito scil. hic X aequ. b)
Se
b aequ. fX = cX  - b f + bc per prOp. 1.
Ergo colligendo e+ X - b in f -C. Aeud seu d - b in f- c erit.
est
C
f - Ce, + fX - C X - bf + bc: At supra d - b in f - c
erat aequ. d f = cd = bf 
aequando fiet: ef ce
XO
Ergo hos duos valores
aequ df c0
+ SX C)+bC
fiet.
equando fic et tollendo utrobiqus = bf.
e
ef- ce + fx - CX + bc aequ. df - cd. O
est autem ef + fx aequ. df. et - ce - CX aoqu- cd. quia daequ. etx
i
Ergo in aequatione priori
tollantur
Ergo ef- ce + fX - CX aequ. df - cd.
ef - ce + f X - CX + bc aequ. df - cd. O. Subla
utrinque aequalibes restabit  O aequ. + bc.
Quod erat demonstrandum.
propositio 22.