theorem statement 4753967