Note: The above argument assumed that p is a law entails p, and that the claim law p holds necessarily entails that p holds necessarily (I did not additionally assume that law p holds necessarily entails that necessarily p is a law, though that does follow from (7)). [I fixed some typos, and more importantly edited (2) and (4) in response to Comment #1 below.