for a being Real
for k being Integer st a > 0 holds
a #Z k > 0