Le cardinalità delle due classi sono evidentemente date dai due termini del secondo membro della formula che volevamo dimostrare.
le kardinalitˈa dˌelle dˈue klˈassɪ sˌono evidentemˈente dˈate daj dˈue tˈɛrminɪ del sekˈondo mˈɛmbro dˌella fˈɔrmʊla ke volevˈamo dimostrˈare.