theorem :: CARD_3:15

for x being object
for f, g being Function holds pi ({f,g},x) = {(f . x),(g . x)}