Множество A,B,C могут быть заданы любым способом из букв и цифр . Программно доказать или опровергнуть , что A*(B+C)=A*B+A*C — Pascal(Паскаль)

uses crt;
var a,b,c,d:set of byte;
    i:byte;
begin
clrscr;
a:=[1,2,3,4,5];
b:=[2,3,4,5,6];
c:=[8,6,5,0,3];
write('Множество А:  ');
for i:=0 to 10 do
if i in a then write(i,' ');
writeln;
write('Множество B:  ');
for i:=0 to 10 do
if i in b then write(i,' ');
writeln;
write('Множество C:  ');
for i:=0 to 10 do
if i in c then write(i,' ');
writeln;
write('Множество A*(B+C):  ');
d:=a*(b+c);
for i:=0 to 10 do
if i in d then write(i,' ');
writeln;
write('Множество А*B+A*C:  ');
d:=a*b+a*c;
for i:=0 to 10 do
if i in d then write(i,' ');
writeln;
if a*(b+c)=a*b+a*c then write('Равенство верно')
else write('Равенство не верно');
readln
end.