Super position theorem