Learn Hardcore Polish: udowodnić - to prove