theorem Th16: :: CARD_3:16

for x being object
for X, Y being set holds pi ((X \/ Y),x) = (pi (X,x)) \/ (pi (Y,x))