gordons partition theorem