Informasi yang berkaitan dengan sv/Hopkins–Levitzkis sats