theorem :: NUMBER10:19

LP<=6n+1 1 = 7