diracs theorem