theorem :: BASEL_1:13

for i being Integer holds sin (PI * i) = 0