3 ms·A formal proof? ;-)by jonsterling 13y agoA formal proof? ;-)shelf 13y agoA constructive proof would satisfy!