Proof examination of alternating phase focusing