3 ms·I was always wondering the same. Thank you for the references. Above I asked for a mechanized proof.by fithisux 2y agoI was always wondering the same. Thank you for the references. Above I asked for a mechanized proof.