Proving the Law of Transportation