pompeius theorem