theorem :: NUMBER10:17

LP<=6n+1 20 = LP<=6n+1 19