乙部氏のａｂ柱はａ角形とｂ角形の直積で与えられる４次元図形であろ．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　　（ａ，ａ，１，０），（ｂ，ｂ，１，０）

［１］ｋ＝０：ｖ＝ａ・ｂ→（ａ）と（ｂ）の逆順の積和

［２］ｋ＝１：ｅ＝ａ・ｂ＋ｂ・ａ＝２ａｂ→（ａ，ａ）と（ｂ，ｂ）の逆順の積和

［３］ｋ＝２：ｆ＝ａ・１＋ａ・ｂ＋１・ｂ→（ａ，ａ，１）と（ｂ，ｂ，１）の逆順の積和

［４］ｋ＝３：ｃ＝ａ・０＋ａ・１＋１・ｂ＋０・ｂ→（ａ，ａ，１，０）と（ｂ，ｂ，１，０）の逆順の積和

　ｖ−ｅ＋ｆ−ｃ＝０が成り立つことがわかるだろう．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［まとめ］反角柱の高次元化も考えてみたいのであるが，記憶が定かではないのであるが，ＳＰＬＡＧに載っていたような気がする．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝