Anon needs help proving something