一个正四棱柱的侧面展开图是一个边长为4的正方形,求它的体积