4 ms·Unless it's a non-constructive proof.by red_admiral 5mo agoUnless it's a non-constructive proof.