\b
\q1
\v=16
\v~=\w L'un|strong="H6213"\w* \w est|strong="H3820"\w* \w si|strong="H3808"\w* proche \w de|strong="H3820"\w* l'autre, 
\¬q1
\q2
\p~<<q2=2 qu'aucun \w air|strong="H7307"\w* \w ne|strong="H3820"\w* puisse s'interposer \w entre|strong="H7760"\w* \w eux|strong="H6440"\w*. 
\¬q2
\¬v