larson proves