A * P	=	Q * R
Hn...H1 * A * P	=	Hn...H1AP
	⋮
H2H1 * A * P	=	H2H1AP
H2 * H1 * A * P	=	H2H1AP
H1 * A * P	=	H1AP
A * P	=	A