プリンシペ-トロヤーノ-アセシナード-ポル-アクイレス. プリンシペ-デ-パズ教会ミルウォーキー. プリンシペ-パラヴィチーニ-ロスピリオシペルー. プリンシペ-トロヤノ-ムエルト-ポル-アクイルズ-バエズ.

プリンシペ-デ-非合同定理.