Znowu wciągam się w Julię. Biblioteki matematyczne są po prostu tak eleganckie, może powinienem napisać prover STARK w Julii.
401