Make problem more concise

There is no need to assume X is not zero.