Ostrovskin lause (täsmennys)

Ostrovskin lause on yksi matemaatikon Aleksanteri Ostrovskin  mukaan nimetyistä lauseista :