arterial road: a major or main route
highway: a major road for any form of motor transport
proof: a formal series of statements showing that if one thing is true something else necessarily follows from it