theorem :: XPRIMES2:7705

canceled;