Rummler–Sullivan theorem