This derivation has been merged into The Electromagnetic Field Tensor.