Udowodnij FTC2 zakładając FTC1 jako punkt wyjścia