theorem :: XPRIMES2:7122

canceled;