angular proof