Se deducen las siguientes proposiciones básicas: