LineNumber update

Added line 46 - line 49 that solved the problem for isProven() method.