theorem :: XPRIMES2:5305

canceled;