#Theorem : Assume an N-lane #motorway is jammed at peak times. Let an (N+1)-lane motorway be built in replacement, then there exists t < 1 year such that in time t from its opening, the (N+1)-lane motorway will be jammed at peak times.
Additional #lemma: the N-lane motorway will be finally kept in activity and also be jammed at peak times.
#Corollary : the only way out is to change modes of transport.
#theorem #motorway #lemma #corollary
@science_quotes …and if Gödel hates you, you may never know.
#science #quotes #corollary