Pusey Barrett Rudolph Theorem