Proof CF for Sako A7