theorem :: AOFA_A00:10

canceled;