Aは大文字であり、対応する小文字はaである
という情報はどこに書かれているのでしょうか?