theorem Th14: :: BASEL_1:14

for i being Integer holds cos ((PI / 2) + (PI * i)) = 0