avtheorem020theorem03twentyone