A.1 Proofs483 Hereweusuallyomitthe =ksuffixinA