Begge uttryckte den bekanta satsen,