proves angelets-1