fruchts theorem