above theorem applies to fucking, too