This book provides mathematical proof of several existence, structure and regularity properties, empirically observed in transportation networks.