implicit theorem

Informacja: implicit theorem