mathematical statement