theorem :: AOFA_A00:11

canceled;