@Kwongerific proof