# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068646:0120
# Permalink to this reading: https://leibnizlegible.com/page/00068646:0120?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 2
# Folio 60v, page id 00068646:0120
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 61r); this page is its left half.
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068646&page=120
# Source image: https://digitale-sammlungen.gwlb.de/content/00068646/jpgs/default/00000120.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 88 lines, status machine
# Lines: 88 recognised, mean confidence 0.92
# 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.

est in R F) RX seul in fix
Si idem adficatur contente et consinenti factum rig in est posteriori
prop Si B est in L erit ADB in ACL
quilaterpun  in est seu NamlEL ∞ B + N (per definimaxistentis) et ADB est in BD N A (pe
 seatitu renulari tribuitur regulari eandem) hoc est in LDA
Ergo quadrilaterum aequi
seu hritnitur quadrilatem AC
scholium. Hac propositio converti non potest nequenim si
rs entio nsquriss aile  ectum et inest
Nam B est in LDB (per definitionem in existentis) et L(B∞
siequadrato per. prov. 13
sex hyp). Ergo  (per
biquid altexi ipest  pectum es
santis
si D et in LnBP adL (per def. inex A) L ∞ BD
sit L parrallelogrammum (cujus quodlibet latus alimilateri parectet est Ergo (per prop. 9. Y) LDB ∞ BD PB hoc est (per ax
∞ BDP. quod ex hyp) ∞ L.
Si A4 N est in A, etiam N est in A
AYO AX ∞RX Ergo RY in RX.
RY in RX Ergo RYO RX ∞ RX
Quadritatenum isse in est paretlolo grammo
Ergo paralle grammum quatrilaterum idem est quod paralledograum
Nam si A Contntum contenti et cententu css
Ergo quadrilaterum esse in est paralleloguerammo
vicissim quatrilaterum esse inest parallogrimmo
Ergo paallelo grammum quadrilaterumi sem est quod
prop. 15 si A est in B et B est in C etiam A est in C
Nam A est in B Ergo ACG L ∞B (per def. nexist,
similiter quia B est in  C, erit B(M ∞ C. Ergo in
qua assertione pro B ponendo ADL (quae coincidere ostendimus)
3 X RT est in R5 et RS in RX Ergo
A quadoilaterum B parallelogiammum fiet  A L D M ∞C Ergo A est in C (per def.
oss uc mitis
Quadrilaterum esse inest paralle logramar, et paral
tenomraramum esse in est aectangulo (hoc est figurae
cujus omnis angulus rectus) Ergo quadrilaterum esse
quanguam si  individua non
de notionie o intelligamus
si pro notionibus perse consideratis, spectenus sin–
gularia sub notione comprehensa, et fieri potest
carelb si AD N est in B, etiam N est in B
Nam N est in ADN Cex def. in exist.) et A+ N est in 
ex hopu) Ergosper preced.) N est in B.
A rectangulum Bparallelogrammum, C quadrolaterum.)
se B
sic ACDBC erit A on e B v
Nam omnia restangula sunt in omnibus parallelogramm asi estn B et B es inA erit A∞ B
comprehensa, et omnia par allolo gramma innumer (Nam si A est in B erit AN ∞B ( definiexit7. jam
quadrilateres Ergo et rectang uta omnia sul qua
in quadrilateris continentur. Quemadmodum
omnes homines continentur in omnibus animalibus
et omnia animalia in omnibus corporibus, ergo
et omnes homin substantiis corporeis, ergo et
omnes homines in substantiis corporiis continentur
Licet contra notio substantia corporeae in notione animu
lis, seu corpore notio animalis in notione hominis
A 15 Gulum esse imest trilatero, Ergo coincidunt
triangulum et trilateru
B est in A (ex hyp.) Ergo A+ N est in A Ergo (per, praecedo) etiam
N est in A. Ergo porro (perprop m) A A∞A+N,
+ A est in C et B est in C etiam A+B est in C
Prop. 16 ssi A est in R, et B est in C et R est in D etiam A est int
Et ita porro. contentum contenti a contento est contentum continent
Nam si A est in B et B est in etiam A est in C (per praeced)
Unde si C est in D runcus A er tunc (cursus per praeced.) etiam
quae se mutuo continent coincidunt
Nam si A est in B erit AD N ∞B (per def. inexist.) jam B est Solutio: sumantur quaecunque et quotcunque inter se diversa,
prop. 17 si A est in B et B est in A erit A∞B.
in A (ex hyp.) Ergo A N est in A (per prop. s.) Ergo (per
coroll. prop. 15.) etiam N est in A. Ergo porro (per prop. 1
A00 ACGN seu Aa B.
sit in altero, fiat RS DTX ∞ NM
DC. A erit RS(D RX idem quod YX (F RX
semper enim componitur reoca fix
Csit seu ADB, erit rectangulum, eritque parallelogrammum
rectangulum, idem quod rectangulum aequiangulum. Generaliter
sit Maevius A, Titius B; par hominum ex utroque compositum C,
e erit Maevius ut pari huio erit Maevius una
cum hoc pari, idem quod Trtius icum hoc pari, utrobique enim
nihil aliud prodit, quam ipsum par. Alia adhuc solutio dari
potest, quae est elegantior se specillior sid specialior si A et B
habeant aliquid commune, idque datum sit  adeoque datum su
etiam quod utrique est proprium, sit igitur ipsi A proprium M
et ipsi B progrium N, et fiat M+ N ∞0D commune autem
sunt RS et YX disparata. ita ut neulvum
utrique sit . Dico A+ hore ∞ B+D. Cum enum sit
Ae PDM et B∞ PE) N erit A(F D ∞ RFMD N,
et B+ etiam 1∞ p(D M() N